Rensselaer Polytechnic Institute

Results: 403



#Item
81

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Add to Reading List

Source URL: www.cs.rpi.edu

Language: English - Date: 2012-04-20 15:22:35
    82

    Type-based Taint Analysis for Java Web Applications Wei Huang, Yao Dong, and Ana Milanova Rensselaer Polytechnic Institute Abstract. Static taint analysis detects information flow vulnerabilities.

    Add to Reading List

    Source URL: www.cs.rpi.edu

    Language: English - Date: 2014-08-26 07:38:37
      83

      Parameterized Object Sensitivity for Points-to Analysis for Java ANA MILANOVA Rensselaer Polytechnic Institute ATANAS ROUNTEV Ohio State University

      Add to Reading List

      Source URL: www.cs.rpi.edu

      Language: English - Date: 2005-07-30 23:08:09
        84

        Static Ownership Inference for Reasoning Against Concurrency Errors Ana Milanova Department of Computer Science Rensselaer Polytechnic Institute

        Add to Reading List

        Source URL: www.cs.rpi.edu

        Language: English - Date: 2009-03-04 16:30:40
          85

          Precise Call Graphs for C Programs with Function Pointers Ana Milanova () Department of Computer Science, Rensselaer Polytechnic Institute Atanas Rountev () Department of Comp

          Add to Reading List

          Source URL: www.cs.rpi.edu

          Language: English - Date: 2005-07-30 23:04:33
            86Computing / Semantic Web / Fellows of the British Computer Society / Artificial intelligence / World Wide Web / Knowledge engineering / James Hendler / Austin Tate / Hendler / Web Ontology Language / Web Science Trust / DARPA Agent Markup Language

            James A. Hendler, PhD Tetherless World Professor & Director, Rensselaer Institute for Data Exploration and Applications Rensselaer Polytechnic Institute

            Add to Reading List

            Source URL: www.cs.rpi.edu

            Language: English - Date: 2016-05-09 15:43:30
            87

            Static Object Race Detection Ana Milanova and Wei Huang Rensselaer Polytechnic Institute Abstract. We present a novel static object race detection analysis. Our analysis is data-centric in the sense that dominance and ow

            Add to Reading List

            Source URL: www.cs.rpi.edu

            Language: English - Date: 2011-10-11 08:54:36
              88Matrix / Country codes

              Randomized Algorithms in Data Mining: a Linear Algebraic Approach Petros Drineas Rensselaer Polytechnic Institute Computer Science Department

              Add to Reading List

              Source URL: www.drineas.org

              Language: English - Date: 2012-05-09 16:00:13
              89

              RENSSELAER POLYTECHNIC INSTITUTE Transfer Admission APPLICATION CHECKLIST Four or more semesters • Transfer Common Application or

              Add to Reading List

              Source URL: admissions.rpi.edu

              Language: English - Date: 2015-06-24 08:54:32
                90Matrix / Country codes

                Randomized Algorithms in Linear Algebra and Applications in Data Analysis Petros Drineas Rensselaer Polytechnic Institute Computer Science Department

                Add to Reading List

                Source URL: www.drineas.org

                Language: English - Date: 2012-09-26 17:29:20
                UPDATE